EN FR
EN FR


Section: Research Program

Inverse problems in Neuroimaging

Many problems in neuroimaging can be framed as forward and inverse problems. For instance, brain population imaging is concerned with the inverse problem that consists in predicting individual information (behavior, phenotype) from neuroimaging data, while the corresponding forward problem boils down to explaining neuroimaging data with the behavioral variables. Solving these problems entails the definition of two terms: a loss that quantifies the goodness of fit of the solution (does the model explain the data well enough ?), and a regularization scheme that represents a prior on the expected solution of the problem. These priors can be used to enforce some properties on the solutions, such as sparsity, smoothness or being piece-wise constant.

Let us detail the model used in typical inverse problem: Let 𝐗 be a neuroimaging dataset as an (nsubjects,nvoxels) matrix, where nsubjects and nvoxels are the number of subjects under study, and the image size respectively, 𝐘 a set of values that represent characteristics of interest in the observed population, written as (nsubjects,nfeatures) matrix, where nfeatures is the number of characteristics that are tested, and β an array of shape (nvoxels,nfeatures) that represents a set of pattern-specific maps. In the first place, we may consider the columns 𝐘1,..,𝐘nfeatures of Y independently, yielding nfeatures problems to be solved in parallel:

𝐘 i = 𝐗 β i + ϵ i , i { 1 , . . , n f e a t u r e s } ,

where the vector contains βi is the ith row of β. As the problem is clearly ill-posed, it is naturally handled in a regularized regression framework:

β ^ i = argmin β i 𝐘 i - 𝐗 β i 2 + Ψ ( β i ) , (1)

where Ψ is an adequate penalization used to regularize the solution:

Ψ ( β ; λ 1 , λ 2 , η 1 , η 2 ) = λ 1 β 1 + λ 2 β 2 + η 1 β 2 , 1 + η 2 β 2 , 2 (2)

with λ1,λ2,η1,η20 (this formulation particularly highlights the fact that convex regularizers are norms or quasi-norms). In general, only one or two of these constraints is considered (hence is enforced with a non-zero coefficient):

  • When λ1>0 only (LASSO), and to some extent, when λ1,λ2>0 only (elastic net), the optimal solution β is (possibly very) sparse, but may not exhibit a proper image structure; it does not fit well with the intuitive concept of a brain map.

  • Total Variation regularization (see Fig. 1) is obtained for (η1>0 only), and typically yields a piece-wise constant solution. It can be associated with Lasso to enforce both sparsity and sparse variations.

  • Smooth lasso is obtained with (η2>0 and λ1>0 only), and yields smooth, compactly supported spatial basis functions.

Note that, while the qualitative aspect of the solutions are very different, the predictive power of these models is often very close.

Figure 1. Example of the regularization of a brain map with total variation in an inverse problem. The problem here is to predict the spatial scale of an object presented as a stimulus, given functional neuroimaging data acquired during the presentation of an image. Learning and test are performed across individuals. Unlike other approaches, Total Variation regularization yields a sparse and well-localized solution that also enjoys high predictive accuracy.
IMG/inter_sizes_alpha1.png

The performance of the predictive model can simply be evaluated as the amount of variance in 𝐘i fitted by the model, for each i{1,..,nfeatures}. This can be computed through cross-validation, by learning β^i on some part of the dataset, and then estimating 𝐘i-𝐗β^i2 using the remainder of the dataset.

This framework is easily extended by considering

  • Grouped penalization, where the penalization explicitly includes a prior clustering of the features, i.e. voxel-related signals, into given groups. This amounts to enforcing structured priors on the problem solution.

  • Combined penalizations, i.e. a mixture of simple and group-wise penalizations, that allow some variability to fit the data in different populations of subjects, while keeping some common constraints.

  • Logistic and hinge regression, where a non-linearity is applied to the linear model so that it yields a probability of classification in a binary classification problem.

  • Robustness to between-subject variability to avoid the learned model overly reflecting a few outlying particular observations of the training set. Note that noise and deviating assumptions can be present in both 𝐘 and 𝐗

  • Multi-task learning: if several target variables are thought to be related, it might be useful to constrain the estimated parameter vector β to have a shared support across all these variables.

    For instance, when one of the variables 𝐘i is not well fitted by the model, the estimation of other variables 𝐘j,ji may provide constraints on the support of βi and thus, improve the prediction of 𝐘i.

    𝐘 = 𝐗 β + ϵ , (3)

    then

    β ^ = argmin β = ( β i ) , i = 1 . . n f i = 1 n f 𝐘 𝐢 - 𝐗 β 𝐢 2 + λ j = 1 n v o x e l s i = 1 n f β 𝐢 , 𝐣 2 (4)